Fully invariant and verbal congruence relations
نویسندگان
چکیده
A congruence relation θ on an algebra A is fully invariant if every endomorphism of A preserves θ. A congruence θ is verbal if there exists a variety V such that θ is the least congruence of A such that A/θ ∈ V. Every verbal congruence relation is known to be fully invariant. This paper investigates fully invariant congruence relations that are verbal, algebras whose fully invariant congruences are verbal, and varieties for which every fully invariant congruence in every algebra in the variety is verbal.
منابع مشابه
Automorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. In [2] we discussed the notions of verbal and fully invariant congruences and examined the rela...
متن کاملAlgebra Universalis Automorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. The proof is a nice application of the theory of natural dualities as developed by Davey et al.
متن کاملOplus-supplemented modules with respect to images of a fully invariant submodule
Lifting modules and their various generalizations as some main concepts in module theory have been studied and investigated extensively in recent decades. Some authors tried to present some homological aspects of lifting modules and -supplemented modules. In this work, we shall present a homological approach to -supplemented modules via fully invariant submodules. Lifting modules and H-suppleme...
متن کاملSurface Group Representations with Maximal Toledo Invariant
We develop the theory of maximal representations of the fundamental group π1(Σ) of a compact connected oriented surface Σ with boundary ∂Σ, into the isometry group of a Hermitian symmetric space X or, more generally, a group of Hermitian type G. For any homomorphism ρ : π1(Σ) → G, we define the Toledo invariant T(Σ, ρ), a numerical invariant which is in general not a characteristic number, but ...
متن کاملRelated structures with involution
We give a necessary and su¢ cient condition for a bounded involution lattice to be isomorphic to the direct square of its invariant part. This result is applied to show relations between related lattices of an algebra: For instance, generalizing some earlier results of G. Czédli and L. Szabó it is proved that any algebra admits a connected compatible partial order whenever its quasiorder lattic...
متن کامل